functional analysis for pdes